Reasoning with Actions
نویسنده
چکیده
Action semantics is a semantic description framework with very good pragmatic properties but a rather weak theory for reasoning about programs. A strong action theory would be of great practical use, however. It would make it possible to reason about the large class of programming languages that can be described in action semantics. This paper develops the foundations for a richer action theory, by bringing together concepts and techniques from testing theory for processes and from work on operational reasoning about functional programs. Semantic preorders and equivalences in the action semantics setting are studied and a useful operational technique for establishing testing equivalences is presented.
منابع مشابه
Improving Agent Performance for Multi-Resource Negotiation Using Learning Automata and Case-Based Reasoning
In electronic commerce markets, agents often should acquire multiple resources to fulfil a high-level task. In order to attain such resources they need to compete with each other. In multi-agent environments, in which competition is involved, negotiation would be an interaction between agents in order to reach an agreement on resource allocation and to be coordinated with each other. In recent ...
متن کاملتوانایی استدلال اخلاقی پرستاران و دانشجویان پرستاری: مطالعهای مروری
The principal objective of the nursing profession is to provide evidence-based and competent care mainly based on humanitarian and ethical principles. Ethical care is contingent on a proper level of moral reasoning, which can be categorized into pre-conventional, conventional and post-conventional reasoning. At the pre-conventional level, individuals are mostly self-oriented and prefer obedienc...
متن کاملReasoning about Actions in Fuzzy Environment
Reasoning in the presence of imprecision and vagueness is inevitable in many real-world applications including those in robotics and intelligent agents. Although, reasoning about actions is a major component in these real-world applications, current actions languages for reasoning about actions lack the ability to represent and reason about actions in the presence of imprecision and vagueness t...
متن کاملA Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems
A computing anticipatory system must have the ability to make decision about its next action. To design and develop various computing anticipatory systems effectively, it is desirable to find a general methodology for decision making in computing anticipatory systems. This paper presents a deontic relevant logic approach to reasoning about actions in computing anticipatory systems. The paper di...
متن کاملSymbolic Causal Networks for Reasoning about Actions and Plans
We present an approach for reasoning about actions and plans when domain knowledge is represented by a symbolic causal network, which is a principled, logical representation of a domain that explicates its perceived causal structure. The proposed approach shows that causal structures can play a key role in logical reasoning about actions given their effective role in dealing with some of the pr...
متن کاملReasoning about Deterministic Action Sequences with Probabilistic Priors
We present a novel algorithm and a new understanding of reasoning about a sequence of deterministic actions with a probabilistic prior. When the initial state of a dynamic system is unknown, a probability distribution can be still specified over the initial states. Estimating the posterior distribution over states (filtering) after some deterministic actions occurred is a problem relevant to AI...
متن کامل